#!/bin/bash

SOLVE_ALL_MINISAT=../../../../../utils/solve_all_sat.sh

for FILE in *.cnf
do

	OUTPUT=`echo $FILE | sed s/".cnf"/".solutions"/g`
	$SOLVE_ALL_MINISAT $FILE $OUTPUT

done
